Search results for " System development"

Neuronal LRP4 regulates synapse formation in the developing CNS

2017

The low-density lipoprotein receptor-related protein 4 (LRP4) is essential in muscle fibers for the establishment of the neuromuscular junction. Here, we show that LRP4 is also expressed by embryonic cortical and hippocampal neurons, and that downregulation of LRP4 in these neurons causes a reduction in density of synapses and number of primary dendrites. Accordingly, overexpression of LRP4 in cultured neurons had the opposite effect inducing more but shorter primary dendrites with an increased number of spines. Transsynaptic tracing mediated by rabies virus revealed a reduced number of neurons presynaptic to the cortical neurons in which LRP4 was knocked down. Moreover, neuron-specific kno…

RINT1 Loss Impairs Retinogenesis Through TRP53-Mediated Apoptosis

2020

Genomic instability in the central nervous system (CNS) is associated with defective neurodevelopment and neurodegeneration. Congenital human syndromes that affect the CNS development originate from mutations in genes of the DNA damage response (DDR) pathways. RINT1 (Rad50-interacting protein 1) is a partner of RAD50, that participates in the cellular responses to DNA double-strand breaks (DSB). Recently, we showed that Rint1 regulates cell survival in the developing brain and its loss led to premature lethality associated with genomic stability. To bypass the lethality of Rint1 inactivation in the embryonic brain and better understand the roles of RINT1 in CNS development, we conditionally…

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

2018

This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…

The first cyber summit - Clinton-Yeltsin Helsinki Summit 1997 : providing content for short time news events using Internet technologies

1997

Uncertainty in information system development: Causes, effects, and coping mechanisms

2020

Information system development (ISD) projects are an ever-growing field of project management (PM) with their unique features, and project failures in ISD are relatively common. In the broader context of PM, uncertainty is a studied, yet mercurial phenomenon. By contrast, uncertainty in ISD projects has received relatively little attention from scholars, and PM literature has not systematically focused on uncertainty in ISD from a viewpoint other than that of project managers. In order to understand uncertainties in ISD projects, we need to first understand the causes behind them, their effects on everyday ISD work, and share coping mechanisms utilized among industry professionals. In the c…

Social welfare professionals willing to participate in client information system development - Results from a large cross-sectional survey.

2021

Human-centered design methods should be implemented throughout the client information system (CIS) development process to understand social welfare professionals’ needs, tasks, and contexts of use. The aim of this study was to examine Finnish social welfare professionals’ experiences of participating in CIS development. A national cross-sectional web-based survey on the CIS experiences of social welfare professionals (1145 respondents) was conducted in Finland in spring 2019. This study focused on statements concerning the experiences of end users with CIS development and participation. The results are reported by professional and age groups. Half (50%) of the 1145 respondents had participa…

Progenitor death drives retinal dysplasia and neuronal degeneration in a mouse model of Atrip-Seckel syndrome

2020

ABSTRACT Seckel syndrome is a type of microcephalic primordial dwarfism (MPD) that is characterized by growth retardation and neurodevelopmental defects, including reports of retinopathy. Mutations in key mediators of the replication stress response, the mutually dependent partners ATR and ATRIP, are among the known causes of Seckel syndrome. However, it remains unclear how their deficiency disrupts the development and function of the central nervous system (CNS). Here, we investigated the cellular and molecular consequences of ATRIP deficiency in different cell populations of the developing murine neural retina. We discovered that conditional inactivation of Atrip in photoreceptor neurons …